Keeping Secrets in Resource Aware Components
نویسندگان
چکیده
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication of a component, interact with it and monitor the components resource usage. We use an automata model of components in which each transition is tagged with resource usage information. We extend these automata to pass values and say that a value is kept secret if the observable behaviour of the automata is the same for all possible instantiations of that value. If a component leaks some, but not all of the information about its secret we use a notion of secrecy degree to quantify the worst-case leakage. We show how this secrecy degree can be automatically calculated, for values from a finite domain, using the μCRL process algebraic verification toolset.
منابع مشابه
مسؤولیت مدنی ناشی از افشای اسرار پزشکی در حقوق ایران و کامن‌لا
Revealing medical secrets is one of the most important topics in medical law, and has an ancient root in medical history and morality. Keeping patients' secrets is one of the certain laws in internal and international laws and regulations of the most countries that have been recognized in patients' bill of rights. Keeping patients' secrets causes patients to confide in physicians and refer to t...
متن کاملExplaining the relationship between components of Strategic human resource management and social marketing , Tehran cement Factory
Strategic human resource management implications in different part of the worlds have been investigated in different research papers. The depth of implementation of SHRM, results in the productivity of the organizations. The current paper is a conceptual overview on the SHRM implementation in Iran. The circumstances and the elements that contribute to the SHRM implementation in this country nee...
متن کاملSecrets from friends and parents: longitudinal links with depression and antisocial behavior.
Keeping secrets from parents is associated with depression and antisocial behavior. The current study tested whether keeping secrets from best friends is similarly linked to maladjustment, and whether associations between secrecy and maladjustment are moderated by the quality of the friendship. Adolescents (N = 181; 51% female, 48% white, non-Hispanic, 45% African American) reported their secre...
متن کاملIs Keeping Secrets from Friends Associated with Adolescent Depression and Behavior Problems?
.......................................................................................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 190 شماره
صفحات -
تاریخ انتشار 2007